automatic deduction

Examples

Nothing found